Line (geometry)

The notion of line or straight line was introduced by the ancient mathematicians to represent straight objects with negligible width and depth. Lines are an idealization of such objects. Thus, until seventeenth century, lines were defined like this: "The line is the first species of quantity, which has only one dimension, namely length, without any width nor depth, and is nothing else than the flow or run of the point which [...] will leave from its imaginary moving some vestige in length, exempt of any width. [...] The straight line is that which is equally extended between its points" ^[1]

Euclid described a line as "breadthless length", and introduced several postulates as basic unprovable properties from which he constructed the geometry, which is now called Euclidean geometry to avoid confusion with other geometries which have been introduced since the end of nineteenth century (such as non-Euclidean geometry, projective geometry, and affine geometry).

In modern mathematics, given the multitude of geometries, the concept of a line is closely tied to the way the geometry is described. For instance, in analytic geometry, a line in the plane is often defined as the set of points whose coordinates satisfy a given linear equation, but in a more abstract setting, such as incidence geometry, a line may be an independent object, distinct from the set of points which lie on it.

When a geometry is described by a set of axioms, the notion of a line is usually left undefined (a so-called primitive object). The properties of lines are then determined by the axioms which refer to them. One advantage to this approach is the flexibility it gives to users of the geometry. Thus in differential geometry a line may be interpreted as a geodesic (shortest path between points), while in some projective geometries a line is a 2-dimensional vector space (all linear combinations of two independent vectors). This flexibility also extends beyond mathematics and, for example, permits physicists to think of the path of a light ray as being a line.

A line segment is a part of a line that is bounded by two distinct end points and contains every point on the line between its end points. Depending on how the line segment is defined, either of the two end points may or may not be part of the line segment. Two or more line segments may have some of the same relationships as lines, such as being parallel, intersecting, or skew.

1 Euclidean geometry
2 Projective geometry
3 Geodesics
4 See also
5 Notes
6 References
7 External links

Euclidean geometry

Main article: Euclidean geometry

When geometry was first formalised by Euclid in the Elements, he defined lines to be "breadthless length" with a straight line being a line "which lies evenly with the points on itself".^[2] These definitions serve little purpose since they use terms which are not, themselves, defined. In fact, Euclid did not use these definitions in work and probably included them just to make it clear to the reader what was being discussed. In modern geometry, a line is simply taken as an undefined object with properties given by postulates,^[3] but is sometimes defined as a set of points obeying a linear relationship.[1]

In an axiomatic formulation of Euclidean geometry, such as that of Hilbert (Euclid's original axioms contained various flaws which have been corrected by modern mathematicians),^[4] a line is stated to have certain properties which relate it to other lines and points. For example, for any two distinct points, there is a unique line containing them, and any two distinct lines intersect in at most one point.^[5] In two dimensions, i.e., the Euclidean plane, two lines which do not intersect are called parallel. In higher dimensions, two lines that do not intersect may be parallel if they are contained in a plane, or skew if they are not.

Any collection of finitely many lines partitions the plane into convex polygons (possibly unbounded); this partition is known as an arrangement of lines.

Ray

If the concept of "order" of points of a line is defined, a ray, or half-line, may be defined as well. A ray is part of a line which is finite in one direction, but infinite in the other. It can be defined by two points, the initial point, A, and one other, B. The ray is all the points in the line segment between A and B together with all points, C, on the line through A and B such that the points appear on the line in the order A, B, C.^[6]

In topology, a ray in a space X is a continuous embedding R⁺ → X. It is used to define the important concept of end of the space.

Coordinate geometry

In coordinate geometry, lines in a Cartesian plane can be described algebraically by linear equations and linear functions. In two dimensions, the characteristic equation is often given by the slope-intercept form:

$y = mx %2B c \,$

where:

m is the slope or gradient of the line.

c is the y-intercept of the line.

x is the independent variable of the function y = f(x).

The slope of the line through points A(a_x, a_y) and B(b_x, b_y) is given by m = (b_y-a_y)/(b_x-a_x) and the equation of this line can be written y = m(x - a_x) + a_y.

In three dimensions, a line is described by parametric equations:

$x = x_0 %2B at \,$

$y = y_0 %2B bt \,$

$z = z_0 %2B ct \,$

where:

x, y, and z are all functions of the independent variable t.

x₀, y₀, and z₀ are the initial values of each respective variable (or (x₀, y₀, z₀) is any point on the line).

a, b, and c are related to the slope of the line, such that the vector (a, b, c) is a parallel to the line.

In R², every line L is described by a linear equation of the form

$L=\{(x,y)\mid ax%2Bby=c\} \,$

with fixed real coefficients a, b and c such that a and b are not both zero (see Linear equation for other forms). Important properties of these lines are their slope, x-intercept and y-intercept.

The equation of the line passing through two different points $P_0 = ( x_0, y_0 )$ and $P_1 = (x_1, y_1)$ may be written as

$(y - y_0)(x_1 - x_0) = (y_1 - y_0)(x - x_0)$ .

If x₀ ≠ x₁, this equation may be rewritten as

$y=(x-x_0)\,\frac{y_1-y_0}{x_1-x_0}%2By_0$

$y=x\,\frac{y_1-y_0}{x_1-x_0}%2B\frac{x_1y_0-x_0y_1}{x_1-x_0}\,.$

Vector equation

The vector equation of the line through points A and B is given by r = OA + λAB (where λ is a scalar multiple)

If a is vector OA and b is vector OB, then the equation of the line can be written: r = a + λ(b - a)

A ray starting at point A is described by limiting λ≥0

Collinear points

Three points are said to be collinear if they lie on the same line. In the geometry of space, this is the degenerate condition where three points do not determine a plane. The concept of collinearity is thus usually derived from a presumption of lines being in the geometry. However, in synthetic geometry it has been known since 1900 that collinearity can be made a defined concept, and the notion of a line can be based upon it as a set of collinear points:

Consider the reflection which swaps the points in a plane that are equal perpendicular distances from a given line L. The fixed points of the reflection are the points of L. Using d(u,v) to denote the distance between points u and v and selecting a pair of points a and b on L, note that if the reflection swaps x with y, then

d(x,a) = d(y,a) and d(x,b) = d(y,b).

The fixed point property of L can be expressed by saying that x and y are the same point:

$\forall y (d(x,a) = d(y,a) \and d(x,b) = d(y,b)) \Rightarrow x = y .$

As expressed by Alessandro Padoa at the International Congress of Mathematicians (see page 357 of the Proceedings), x is collinear with a and b if there is no other point y which satisfies the congruences $(x,a) \cong (y,a), \quad (x,b) \cong (y,b).$ According to James T. Smith (2010)(American Mathematical Monthly 117:480), this characterization of collinearity was adapted from Gottfried Leibnitz.

Consequently, a line through points a and b in the Euclidean plane can be defined in terms of congruence of point pairs as follows:

$L_{ab}�:= \lbrace x�: \forall y \ ((x,a) \cong (y,a) \and (x,b) \cong (y,b)) \supset y = x \rbrace.$

However, note that the notion of set formation is required in addition to the primitive notions of point and congruence.

In Giuseppe Peano's geometry distance is taken as primitive and lines defined. The following formulation was given by Bertrand Russell on page 410 of The Principles of Mathematics:

The straight line ab is the class of points x such that any point y, whose distances from a and b are respectively equal to the distances of x from a and b, must be coincident with x.

To avoid the intricacies of set theory, Alfred Tarski has fashioned a Euclidean geometry without lines in his system of Tarski's axioms, content that the geometrical meaning of a line is sufficiently represented by logical collinearity.

In analytic geometry, points A, B, and C are collinear if vector AB is parallel to vector BC, or equivalently, if the slopes of lines AB and AC are equal.

Euclidean space

In Euclidean space, Rⁿ (and analogously in all other vector spaces), we define a line L as a subset of the form

$L = \{\mathbf{a}%2Bt\mathbf{b}\mid t\in\mathbb{R}\}$

where a and b are given vectors in Rⁿ with b non-zero. The vector b describes the direction of the line, and a is a point on the line. Different choices of a and b can yield the same line.

Projective geometry

Main article: Projective geometry

In projective geometry, a line is similar to that in Euclidean geometry but has slightly different properties. In many models of projective geometry, the idea of the line rarely conforms to the notion of the "straight curve" as it is visualised in Euclidean geometry. Elliptic geometry is a typical example of when this happens.

Geodesics

The "straightness" of a line, interpreted as the property that it minimizes distances between its points, can be generalized and leads to the concept of geodesics on differentiable manifolds.

Notes

^ In (rather old) French: "La ligne est la première espece de quantité, laquelle a tant seulement une dimension à sçavoir longitude, sans aucune latitude ni profondité, & n'est autre chose que le flux ou coulement du poinct, lequel [...] laissera de son mouvement imaginaire quelque vestige en long, exempt de toute latitude. [...] La ligne droicte est celle qui est également estenduë entre ses poincts." Pages 7 and 8 of Les quinze livres des éléments géométriques d'Euclide Megarien, traduits de Grec en François, & augmentez de plusieurs figures & demonstrations, avec la corrections des erreurs commises és autres traductions, by Pierre Mardele, Lyon, MDCXLV (1645).
^ Faber, Appendix A, p. 291.
^ Faber, Part III, p. 95.
^ Faber, Part III, p. 108.
^ Faber, Appendix B, p. 300.
^ Faber, Appendix B, p. 303.

References

Faber, Richard L. (1983). Foundations of Euclidean and Non-Euclidean Geometry. New York, United States: Marcel Dekker. ISBN 0-8247-1748-1.

External links

Weisstein, Eric W., "Line" from MathWorld.
Equations of the Straight Line at Cut-the-Knot
Citizendium